sự tiên đề hóa câu

• 1.1 Sự tiên đề hóa hiệu quả
• Có một vài đặc tính mà một hệ thống chính thức có thể có, bao gồm sự hoàn toàn, sự nhất quán và sự tồn tại của sự tiên đề hóa hiệu quả.